Techniques - PDFSEARCH.IO - Document Search Engine

Techniques
Results: 34605

#	Item
11	The use of theorem-proving techniques in question-answering systems by C. C O R D E L L G R E E N and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:36:18 Logic Mathematics Mathematical logic Metalogic Model theory Syntax Well-formed formula First-order logic Resolution Logic programming Tautology
12	AVACS Autumn School @ Oldenburg Precision of BlackBox Verification Techniques: Hardness and Technology Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-02 08:42:36 Computing Electronic engineering Formal methods Security engineering Electronic design Hardware acceleration Microtechnology System on a chip Verification Formal equivalence checking Bluetooth Blackbox
13	∗ Quantitative Verification: Models, Techniques and Tools Marta Kwiatkowska Oxford University Computing Laboratory Parks Road, Oxford OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2007-07-13 07:18:18 Temporal logic Theoretical computer science Mathematics Linear temporal logic Probability Computation tree logic IP Probabilistic CTL PRISM model checker Markov decision process Model checking Markov chain
14	Mike Izbicki About Me My research makes machine learning algorithms faster. I’ve developed improved data structures for nearest neighbor queries and faster distributed learning procedures. I use techniques from high di Add to Reading List Source URL: izbicki.me Language: English - Date: 2017-11-15 03:12:26 Cybernetics Computing Technology Software engineering Computational neuroscience International Conference on Machine Learning Outline of machine learning Machine learning Haskell University of California Riverside Artificial intelligence
15	Les archives ouvertes de prochaine génération Fonctionnalités et recommandations techniques du Groupe de travail COAR sur les archives ouvertes de prochaine génération 28 novembre 2017 Add to Reading List Source URL: www.coar-repositories.org Language: French - Date: 2018-10-10 09:56:49
16	Introduction to Locality-Sensitive Hashing Tyler NeylonFormats: html \| pdf \| kindle pdf] Locality-sensitive hashing (LSH) is a set of techniques that Add to Reading List Source URL: tylerneylon.com Language: English - Date: 2018-09-18 19:56:28 Information retrieval Hashing Information science Search algorithms Locality-sensitive hashing Hash function Hash table Cryptographic hash function Hash list MinHash RabinKarp algorithm
17	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:40:45 Logic Metalogic Mathematics Proof theory Model theory Mathematical logic Syntax First-order logic Well-formed formula Formal system Logic programming Resolution
18	Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-06 19:34:00 Markov models Probability Dynamic programming Markov processes Stochastic control Markov decision process Markov chain Linear temporal logic S2 Reinforcement learning S0
19	T DR AF Quantitative Verification Techniques for Biological Processes Marta Kwiatkowska, Gethin Norman, and David Parker Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2010-01-12 07:51:06 Protein kinases Cell biology Biology Signal transduction Cell signaling Biochemistry Mitogen-activated protein kinase kinase Mitogen-activated protein kinase MAPK phosphatase Mitogen MAP kinase kinase kinase

UPDATE